Program development by specification and transformation - the PROSPECTRA methodology, language family and system
- Författare
- (Berthold Hoffmann, Bernd Krieg-Brückner (eds.).)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | cop. 1993 | Tyskland, Berlin, New York | xiv, 623 sidor. ill. | |
| Springer Berlin Heidelberg | 1993 | Utgivningsland okänt / Ej specificerat |